TAGs: Discriminant formula examples